Fix Your Types

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Fix Your Types

When using existing ACL2 datatype frameworks, many theorems require type hypotheses. These hypotheses slow down the theorem prover, are tedious to write, and are easy to forget. We describe a principled approach to types that provides strong type safety and execution efficiency while avoiding type hypotheses, and we present a library that automates this approach. Using this approach, types help...

متن کامل

Please Fix Your Interfaces: The Ease of Basic Usability

This paper does not propose a tool per se, but rather encourages the use of best practices and methods, well-known “tools” in the Human-Computer Interaction (HCI) community, when building new privacyenhancing tools or evaluating existing ones. As security professionals, we strive to develop tools which provide strong protection against vulnerabilities, but the tools fail in practice if they are...

متن کامل

How Good are Your Types?

Software engineers primarily use two orthogonal means to reduce susceptibility to faults: software testing and static type checking. While many strategies exist to evaluate the effectiveness of a test suite in catching bugs, there are few that evaluate the effectiveness of type annotations in a program. This problem is most relevant in the context of gradual or optional typing, where programmer...

متن کامل

FIX - W FIX - E National Backbone Networks

This paper presents the results of a measurement study of the T1 NSFNET backbone. We rst discuss the measurement environment and approach to data collection. We then present measurements results for: long-term growth in traac volume, including attribu-tion to domains and protocols; trend in average packet size on the network, both over long and medium term intervals; most popular sources, desti...

متن کامل

PC annoyances - how to fix the most annoying things about your personal computer

pc annoyances how to fix the most annoying things about pc annoyances how to fix the most annoying things about fixing windows xp annoyances how to fix the most annoying bmw 3 and 5 series service and repair manual louduk choice and preference in media use imotec fabjob guide to become a freelance writer louduk the way walking in the footsteps of jesus aadver ways to better breathing imotec exe...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science

سال: 2015

ISSN: 2075-2180

DOI: 10.4204/eptcs.192.2